- inductively valid
- мат.индуктивно истинный
English-Russian scientific dictionary. 2008.
inductively valid
Смотреть что такое "inductively valid" в других словарях:
validity — /veuh lid i tee/, n. 1. the state or quality of being valid: to question the validity of the argument. 2. legal soundness or force. [1540 50; < LL validitas, equiv. to L valid(us) VALID + itas ITY] * * * In logic, the property of an argument… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Surreal number — In mathematics, the surreal number system is an arithmetic continuum containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals share… … Wikipedia
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Inductive reasoning — Induction or inductive reasoning, sometimes called inductive logic, is the process of reasoning in which the premises of an argument are believed to support the conclusion but do not entail it; i.e. they do not ensure its truth. Induction is a… … Wikipedia
Problem of induction — The problem of induction is the philosophical question of whether inductive reasoning is valid. That is, what is the justification for either:# generalizing about the properties of a class of objects based on some number of observations of… … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
Plasma (physics) — For other uses, see Plasma. Plasma lamp, illustrating some of the more complex phenomena of a plasma, including filamentation. The colors are a result of relaxation of electrons in excited states to lower energy states after they have recombined… … Wikipedia
Mass spectrometry — (MS) is an analytical technique that measures the mass to charge ratio of charged particles.[1] It is used for determining masses of particles, for determining the elemental composition of a sample or molecule, and for elucidating the chemical… … Wikipedia
JESD204 — JEDEC JESD204A (2008) is a new industry standard for the interconnection of digital to analog converter (DAC or D to A) or analog to digital converter (abbreviated ADC, A/D or A to D) and logic devices which supports the concept of multiple… … Wikipedia
